Each folder contains the details of the experiments including the trained PyTorch models, encoded CNF Formulas, inverted images for each label & the associated jupyter notebooks, carried across different BNN architectures.